% Chapter 3

\chapter{Optimizaciones a la herramienta}
\label{Chapter3}
\lhead{Capítulo 3. \emph{Optimizaciones a la herramienta}}

\section{Conjetura inicial}
\section{Horizontes para planificadores basados en SAT}
